COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 00003	.LTR(National Research Council)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 49 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 49

.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 3 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 3 THEN "∨"  ELSE "fαl" ⊃;

.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃

.MACRO LTR(name,dat)  ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or  415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃

.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California  94305
.END APART ⊃

.MACRO DBL ⊂ GROUP BEGIN SKIP 2; NOFILL  CENTER
Sincerely,
.SKIP 5
Douglas B. Lenat
.END APART ⊃

.portion main
.page←1
.LTR(National Research Council)
Division of Mathematical Sciences
National Academy of Sciences
2101 Constitution Avenue, N.W.
Washington, D. C.  20418
.FAC
Dear Sirs:

	I have recently submitted papers to the 
International Symposium on Proving and Improving Programs (to be held July 1-3,
1975, in Paris), and to the
Fourth International Joint Conference on Artificial Intelligence 
(to be held September 3-8, in the Soviet Union).
The papers deal with aspects of my research here at the Stanford A.I. Lab, in
Automatic Programming and the Representation of Knowledge. 
I am a third-year graduate student in Computer Science, where I have recently been
granted candicacy for the Ph.D. degree; I already possess a Master's degree in
Mathematics (from the University of Pennsylvania).


	My financial situation may preclude me from attending, however, and there
appear to be no travel funds available from the A.I. Lab, from the Computer Science
Department, from Stanford itself, nor from either conference's sponsors.
If you grant funds  for travel to conferences, 
please send me further information and any
necessary applications.  
At your request, I will be happy to supply drafts of the two papers and a proposal
relevant to my current research.

.DBL